propositional symbols